Compiler optimizations

Results: 530



#Item
401Compiler optimizations / Compiler construction / Parallel computing / Procedural programming languages / Vectorization / Programming language implementation / Intel C++ Compiler / Loop interchange / Vector processor / Computing / Computer programming / Software engineering

An Evaluation of Vectorizing Compilers Saeed Maleki† , Yaoqing Gao‡ , Mar´ıa J. Garzar´an† , Tommy Wong‡ and David A. Padua† †: Department of Computer Science University of Illinois at Urbana-Champaign Urb

Add to Reading List

Source URL: polaris.cs.uiuc.edu

Language: English - Date: 2011-09-12 12:57:24
402Logical consequence / Logical syntax / Metalogic / Symbol / Μ operator / Logic / Deduction / Entailment

Incremental Verification of Compiler Optimizations? Grigory Fedyukovich1 , Arie Gurfinkel2 , and Natasha Sharygina1 1 University of Lugano, Switzerland,

Add to Reading List

Source URL: verify.inf.usi.ch

Language: English - Date: 2014-06-13 07:35:01
403Computing / Compiler construction / C / Cross-platform software / Dead code elimination / Three address code / Compiler optimizations / Programming language theory / Software engineering

CS412/CS413 Introduction to Compilers Tim Teitelbaum Lecture 24: Control Flow Graphs 24 Mar 08

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2008-03-28 10:11:41
404Automatic parallelization / Polytope model / Projection / Dependence analysis / Parallel computing / Vectorization / Computer programming / Compiler optimizations / Computing / Mathematics

Computer Science Technical Report Canonic Multi-Projection: Memory Allocation for Distributed Memory Parallelization Tomofumi Yuki and Sanjay Rajopadhye

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 2012-02-21 14:05:39
405Compiler construction / Programming language implementation / Data types / Program analysis / Compilers / Compiler optimization / Memory model / Parallel computing / Compiler / Computing / Software engineering / Software

Communication Optimizations for Fine-grained UPC Applications Wei-Yu Chen Costin Iancu University of California at Berkeley

Add to Reading List

Source URL: upc.lbl.gov

Language: English - Date: 2010-05-06 00:14:40
406Compiler optimizations / Compilers / LLVM / Programming language implementation / Compiler / Just-in-time compilation / Interprocedural optimization / Static single assignment form / Inline expansion / Software / Computing / Compiler construction

c Copyright by Chris Arthur Lattner, 2002 LLVM: AN INFRASTRUCTURE FOR MULTI-STAGE OPTIMIZATION BY

Add to Reading List

Source URL: llvm.org

Language: English - Date: 2010-02-25 20:19:41
407Computer programming / Loop optimization / Automatic parallelization / Parallel computing / Polytope model / Tile / Multi-core processor / Tessellation / Frameworks supporting the polyhedral model / Compiler optimizations / Computing / Visual arts

Computer Science Technical Report Parametrically Tiled Distributed Memory Parallelization of Polyhedral Programs Tomofumi Yuki

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 2013-06-11 13:34:16
408Compiler optimizations / Control flow / Loop optimization / Foreach loop / Infinite loop / Computing / Software engineering / Computer programming

Computer Science Technical Report On Parameterized Tiled Loop Generation and Its Parallelization DaeGon Kim and Sanjay V. Rajopadhye [kim|svr]@cs.colostate.edu

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 2010-01-22 21:06:00
409Loop optimization / Parallel computing / Automatic parallelization / Vectorization / Systolic array / Algorithm / Frameworks supporting the polyhedral model / Scalable parallelism / Compiler optimizations / Computing / Software engineering

RETROSPECTIVE: A Data Locality Optimizing Algorithm Monica S. Lam Computer Systems Laboratory Stanford University

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2003-01-05 22:10:50
410Polytope model / Quasigroup / Loop optimization / Linear programming / Algebra / Compiler optimizations / Mathematics / Polyhedron

Computer Science Technical Report Value-based Dependence Analysis for the Z-ployhedral Model DaeGon Kim and Gautam and Sanjay V. Rajopadhye [kim|ggupta|svr]@cs.colostate.edu

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 2008-04-17 15:08:48
UPDATE